semicomputable predicate

[計] 半可計算謂詞

熱門查詢